Church-Rosser property

丘吉-罗素特性